On SDSI's Linked Local Name Spaces
نویسنده
چکیده
Rivest and Lampson have recently introduced SDSI, a Simple Distributed Security Infrastructure. One of the important innovations of SDSI is the use of linked local name spaces. This paper suggests a logical explanation of SDSI’s local name spaces, as a complement to the operational explanation given in the SDSI definition.
منابع مشابه
A Logic for SDSI's Linked Local Name Spaces
Abadi has introduced a logic to explicate the meaning of local names in SDSI, the Simple Distributed Security Infrastructure proposed by Rivest and Lampson. Abadi’s logic does not correspond precisely to SDSI, however; it draws conclusions about local names that do not follow from SDSI’s name resolution algorithm. Moreover, its semantics is somewhat unintuitive. This paper presents the Logic of...
متن کاملA Logic for SDSI’s Linked Local Name Spaces Preliminary Version
Abadi has introduced a logic to explicate the meaning of local names in SDSI, the Simple Distributed Security Infrastructure proposed by Rivest and Lampson. Abadi’s logic does not correspond precisely to SDSI, however; it draws conclusions about local names that do not follow from SDSI’s name resolution algorithm. Moreover, its semantics is somewhat unintuitive. This paper presents the Logic of...
متن کاملON LOCAL BOUNDEDNESS OF I-TOPOLOGICAL VECTOR SPACES
The notion of generalized locally bounded $I$-topological vectorspaces is introduced. Some of their important properties arestudied. The relationship between this kind of spaces and thelocally bounded $I$-topological vector spaces introduced by Wu andFang [Boundedness and locally bounded fuzzy topological vectorspaces, Fuzzy Math. 5 (4) (1985) 87$-$94] is discussed. Moreover, wealso use the fam...
متن کاملP82: Anxiolytics Effect of α-Galycoceramide: As Novel Inhibitor of Glucocorticoid in Social Isolated Rats
α-Galycoceramide (α-Galcer) or the common name of krn7000 is an α-gelasphin derivative. The α-Galcer structure consists of a galactose combined with a ceramide in an α-configuration. Social isolation (SI) has been linked with enhanced inflammation, through modifications in transcriptional pathways linked with glucocorticoid, to stress. Our hypothesis is to investigate mediatory role of glucocor...
متن کاملLOCAL BASES WITH STRATIFIED STRUCTURE IN $I$-TOPOLOGICAL VECTOR SPACES
In this paper, the concept of {sl local base with stratifiedstructure} in $I$-topological vector spaces is introduced. Weprove that every $I$-topological vector space has a balanced localbase with stratified structure. Furthermore, a newcharacterization of $I$-topological vector spaces by means of thelocal base with stratified structure is given.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Computer Security
دوره 6 شماره
صفحات -
تاریخ انتشار 1997